
int input(void);
